منابع مشابه
Stacking them up: a Comparison of Virtual Machines
A popular trend in current software technology is to gain program portability by compiling programs to an intermediate form based on an abstract machine definition. Such approaches date back at least to the 1970s, but have achieved new impetus based on the current popularity of the programming language Java. Implementations of language Java compile programs to bytecodes understood by the Java V...
متن کاملStacking mice
We show that either of the following hypotheses imply that there is an inner model with a proper class of strong cardinals and a proper class of Woodin cardinals. 1) There is a countably closed cardinal κ ≥ א3 such that κ and (κ) fail. 2) There is a cardinal κ such that κ is weakly compact in the generic extension by Col(κ, κ). Of special interest is 1) with κ = א3 since it follows from PFA by ...
متن کاملSoft Stacking
In this paper, we present a continuous approach to ordering 2D images when compositing. Previous methods for stacking image layers require them to appear in a single (though possibly different) order at every point in the image. Our soft stacking approach removes this restriction – allowing layers to stack as if they were volumes of fog, appearing partially in front of and partially in back of ...
متن کاملAsymptotic pseudounitary stacking operators
Stacking operators are widely used in seismic imaging and seismic data processing. Examples include Kirchhoff datuming, migration, offset continuation, DMO, and velocity transform. Two primary approaches exist for inverting such operators. The first approach is iterative least-squares optimization, which involves the construction of the adjoint operator. The second approach is asymptotic invers...
متن کاملCase stacking in nanosyntax
Abstract In this paper, I discuss a possibility for extending the nanosyntactic approach to case assignment and realization in order to model case stacking. Building on the work by Caha (2009), I show that nanosyntax can derive instances of overt case stacking as well as abstract case stacking. emain idea is that a case checking head can attract more than one K(ase)P. is leads to congurations ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mechanical Engineering
سال: 2003
ISSN: 0025-6501,1943-5649
DOI: 10.1115/1.2003-jun-1